<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>OperationSpecification (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="OperationSpecification (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10,"i10":10,"i11":10};
var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../../index-all.html">Index</a></li>
<li><a href="../../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../../index.html?randoop/condition/specification/OperationSpecification.html" target="_top">Frames</a></li>
<li><a href="OperationSpecification.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.condition.specification</div>
<h2 title="Class OperationSpecification" class="title">Class OperationSpecification</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li>randoop.condition.specification.OperationSpecification</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="typeNameLabel">OperationSpecification</span>
extends <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></pre>
<div class="block">A specification of a constructor or method, aka, an <i>operation</i>. Consists of the <code>java.lang.reflect.AccessibleObject</code> for the operation, and lists of <a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a>, <a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a>, and <a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> objects that describe contracts on the operation.

 <p>Method <a href="../../../randoop/condition/SpecificationCollection.html#create-java.util.List-"><code>SpecificationCollection.create(java.util.List)</code></a> reads
 specifications from JSON files. A user specifies JSON files using the <code>--specifications</code>
 command-line option. The JSON should include a JSON object labeled by the name of each field of
 this class, as in

 <pre>
   {
     "operation": {
       "classname": "net.Connection",
       "name": "send",
       "parameterTypes": [
         "int"
       ]
     },
    "identifiers": {
       "parameters": [
         "signalValue"
        ],
       "receiverName": "receiver",
       "returnName": "result"
     },
    "preSpecifications": [
      {
        "description": "the signalValue must be positive",
        "guard": {
          "conditionText": <code> "signalValue &gt; 0"</code>,
          "description": "the signalValue must be positive"
         }
      }
    "postSpecifications": [],
    "throwsSpecifications": [],
    ]
   }
 </pre>

 Method <a href="../../../randoop/condition/SpecificationCollection.html#getExecutableSpecification-java.lang.reflect.AccessibleObject-"><code>SpecificationCollection.getExecutableSpecification(java.lang.reflect.AccessibleObject)</code></a>
 translates specifications to an <a href="../../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a> object that
 allows the underlying Boolean expressions to be evaluated.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification">Identifiers</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#identifiers">identifiers</a></span></code>
<div class="block">The identifier names used in the specifications</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#operation">operation</a></span></code>
<div class="block">The reflection object for the operation</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#postSpecifications">postSpecifications</a></span></code>
<div class="block">The list of post-conditions for the operation</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#preSpecifications">preSpecifications</a></span></code>
<div class="block">The list of pre-conditions for the operation</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#throwsSpecifications">throwsSpecifications</a></span></code>
<div class="block">The specification of expected exceptions for the operation</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier</th>
<th class="colLast" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private </code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#OperationSpecification--">OperationSpecification</a></span>()</code>
<div class="block">Gson serialization requires a default constructor.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>&nbsp;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#OperationSpecification-randoop.condition.specification.OperationSignature-randoop.condition.specification.Identifiers-">OperationSpecification</a></span>(<a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>&nbsp;operation,
                      <a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification">Identifiers</a>&nbsp;identifiers)</code>
<div class="block">Creates an <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> for the given operation with no specifications.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>&nbsp;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#OperationSpecification-randoop.condition.specification.OperationSignature-randoop.condition.specification.Identifiers-java.util.List-java.util.List-java.util.List-">OperationSpecification</a></span>(<a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>&nbsp;operation,
                      <a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification">Identifiers</a>&nbsp;identifiers,
                      <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;&nbsp;preSpecifications,
                      <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;&nbsp;postSpecifications,
                      <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;&nbsp;throwsSpecifications)</code>
<div class="block">Creates an <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> for the given operation with the given
 specifications.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#addParamSpecifications-java.util.List-">addParamSpecifications</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;&nbsp;specifications)</code>
<div class="block">Adds <a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a> objects from the list to this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#addReturnSpecifications-java.util.List-">addReturnSpecifications</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;&nbsp;specifications)</code>
<div class="block">Adds <a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> objects from the list to this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#addThrowsConditions-java.util.List-">addThrowsConditions</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;&nbsp;specifications)</code>
<div class="block">Adds <a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> objects from the list to this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#equals-java.lang.Object-">equals</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;object)</code>&nbsp;</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code><a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification">Identifiers</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#getIdentifiers--">getIdentifiers</a></span>()</code>
<div class="block">Return the <a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification"><code>Identifiers</code></a> for this specification.</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code><a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#getOperation--">getOperation</a></span>()</code>
<div class="block">Return the <a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><code>OperationSignature</code></a> for the operation</div>
</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#getPostconditions--">getPostconditions</a></span>()</code>
<div class="block">Return the list of <a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> objects for this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#getPreconditions--">getPreconditions</a></span>()</code>
<div class="block">Return the list of <a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a> objects for this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#getThrowsConditions--">getThrowsConditions</a></span>()</code>
<div class="block">Return the list of <a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> objects for this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#hashCode--">hashCode</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#isEmpty--">isEmpty</a></span>()</code>
<div class="block">Indicates whether this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> contains any pre-, post-, or
 throws-specifications.</div>
</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../randoop/condition/specification/OperationSpecification.html#toString--">toString</a></span>()</code>&nbsp;</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="operation">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>operation</h4>
<pre>private final&nbsp;<a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a> operation</pre>
<div class="block">The reflection object for the operation</div>
</li>
</ul>
<a name="identifiers">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>identifiers</h4>
<pre>private final&nbsp;<a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification">Identifiers</a> identifiers</pre>
<div class="block">The identifier names used in the specifications</div>
</li>
</ul>
<a name="preSpecifications">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>preSpecifications</h4>
<pre>@SerializedName(value="pre")
private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt; preSpecifications</pre>
<div class="block">The list of pre-conditions for the operation</div>
</li>
</ul>
<a name="postSpecifications">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>postSpecifications</h4>
<pre>@SerializedName(value="post")
private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt; postSpecifications</pre>
<div class="block">The list of post-conditions for the operation</div>
</li>
</ul>
<a name="throwsSpecifications">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>throwsSpecifications</h4>
<pre>@SerializedName(value="throws")
private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt; throwsSpecifications</pre>
<div class="block">The specification of expected exceptions for the operation</div>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="OperationSpecification--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>OperationSpecification</h4>
<pre>private&nbsp;OperationSpecification()</pre>
<div class="block">Gson serialization requires a default constructor.</div>
</li>
</ul>
<a name="OperationSpecification-randoop.condition.specification.OperationSignature-randoop.condition.specification.Identifiers-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>OperationSpecification</h4>
<pre>public&nbsp;OperationSpecification(<a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>&nbsp;operation,
                              <a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification">Identifiers</a>&nbsp;identifiers)</pre>
<div class="block">Creates an <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> for the given operation with no specifications.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the <a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><code>OperationSignature</code></a> object, must be non-null</dd>
<dd><code>identifiers</code> - the <a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification"><code>Identifiers</code></a> object, must be non-null</dd>
</dl>
</li>
</ul>
<a name="OperationSpecification-randoop.condition.specification.OperationSignature-randoop.condition.specification.Identifiers-java.util.List-java.util.List-java.util.List-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>OperationSpecification</h4>
<pre>public&nbsp;OperationSpecification(<a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>&nbsp;operation,
                              <a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification">Identifiers</a>&nbsp;identifiers,
                              <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;&nbsp;preSpecifications,
                              <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;&nbsp;postSpecifications,
                              <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;&nbsp;throwsSpecifications)</pre>
<div class="block">Creates an <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> for the given operation with the given
 specifications.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the reflection object for the operation, must be non-null</dd>
<dd><code>identifiers</code> - the identifiers used in the specifications</dd>
<dd><code>preSpecifications</code> - the list of param specifications for the operation</dd>
<dd><code>postSpecifications</code> - the list of return specifications for the operation</dd>
<dd><code>throwsSpecifications</code> - the list of specifications for the operation</dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="getOperation--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getOperation</h4>
<pre>public&nbsp;<a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>&nbsp;getOperation()</pre>
<div class="block">Return the <a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><code>OperationSignature</code></a> for the operation</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the reflection object for the operation</dd>
</dl>
</li>
</ul>
<a name="getIdentifiers--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getIdentifiers</h4>
<pre>public&nbsp;<a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification">Identifiers</a>&nbsp;getIdentifiers()</pre>
<div class="block">Return the <a href="../../../randoop/condition/specification/Identifiers.html" title="class in randoop.condition.specification"><code>Identifiers</code></a> for this specification.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the identifiers for this specification</dd>
</dl>
</li>
</ul>
<a name="getPreconditions--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getPreconditions</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;&nbsp;getPreconditions()</pre>
<div class="block">Return the list of <a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a> objects for this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of <a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a> objects for this specification</dd>
</dl>
</li>
</ul>
<a name="getPostconditions--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getPostconditions</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;&nbsp;getPostconditions()</pre>
<div class="block">Return the list of <a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> objects for this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of <a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> objects for this specification</dd>
</dl>
</li>
</ul>
<a name="getThrowsConditions--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getThrowsConditions</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;&nbsp;getThrowsConditions()</pre>
<div class="block">Return the list of <a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> objects for this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of specifications for this operation specification, is non-null</dd>
</dl>
</li>
</ul>
<a name="addParamSpecifications-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addParamSpecifications</h4>
<pre>public&nbsp;void&nbsp;addParamSpecifications(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification">Precondition</a>&gt;&nbsp;specifications)</pre>
<div class="block">Adds <a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a> objects from the list to this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>specifications</code> - the list of <a href="../../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a> objects</dd>
</dl>
</li>
</ul>
<a name="addReturnSpecifications-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addReturnSpecifications</h4>
<pre>public&nbsp;void&nbsp;addReturnSpecifications(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification">Postcondition</a>&gt;&nbsp;specifications)</pre>
<div class="block">Adds <a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> objects from the list to this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>specifications</code> - the list of <a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> objects</dd>
</dl>
</li>
</ul>
<a name="addThrowsConditions-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addThrowsConditions</h4>
<pre>public&nbsp;void&nbsp;addThrowsConditions(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification">ThrowsCondition</a>&gt;&nbsp;specifications)</pre>
<div class="block">Adds <a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> objects from the list to this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>specifications</code> - the list of <a href="../../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> objects</dd>
</dl>
</li>
</ul>
<a name="isEmpty--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isEmpty</h4>
<pre>public&nbsp;boolean&nbsp;isEmpty()</pre>
<div class="block">Indicates whether this <a href="../../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> contains any pre-, post-, or
 throws-specifications.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd><code>true</code> if there are no pre-, post-, or throws-specifications, false otherwise</dd>
</dl>
</li>
</ul>
<a name="equals-java.lang.Object-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>equals</h4>
<pre>public&nbsp;boolean&nbsp;equals(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;object)</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="hashCode--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hashCode</h4>
<pre>public&nbsp;int&nbsp;hashCode()</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="toString--">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>toString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toString()</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../../index-all.html">Index</a></li>
<li><a href="../../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../../index.html?randoop/condition/specification/OperationSpecification.html" target="_top">Frames</a></li>
<li><a href="OperationSpecification.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
